00001
00002
00003
00004
00005
00006
00007
00008
00009 package jvn;
00010
00011 import java.rmi.*;
00012 import java.io.*;
00013
00014
00019 public interface JvnRemoteServer extends Remote {
00020
00026 public void jvnInvalidateReader(int joi)
00027 throws java.rmi.RemoteException,jvn.JvnException;
00028
00035 public Serializable jvnInvalidateWriter(int joi)
00036 throws java.rmi.RemoteException,jvn.JvnException;
00037
00044 public Serializable jvnInvalidateWriterForReader(int joi)
00045 throws java.rmi.RemoteException,jvn.JvnException;
00046
00047 }
00048
00049